Fixed type checking of undefined
Cleaned cleantt even more
Added eta expansion for constructors
Merge branch 'minitt' of https://github.com/simhu/cubical.git into minitt