Lots of fixes to rules. whnf equivalence not right
Merge branch 'brazil-standalone' of https://github.com/andrejbauer/tt into brazil-standalone