No tyvars

They're the same as normal vars in a DT language
Some parser stuff