Fixing the abstract syntax of the type language