Algorithm does fewer well-formedness checks
Merge branch 'master' of https://github.com/andrejbauer/tt
Added type normalization and type equality