3.2. FunctionType sub-typing

ProductType sub-typing

DataType

TODO : Discuss subTyping here