Fix type checker testings
Rename _return_ to returnType
Fix function type
Gen