TypeInfo mechanism added
Function signatures