Overhaul because of 'data Type = X TVar | N TExpr'. Typechecks.