removed built-in types such as INT, REAL, SET to treat them as regular
sorts