SimpleType added
UnitType and TupleType added
FunctionType added