Check whether containing unknown type
Check length of arguments of type constructor
Improve displaying errors