Fix totally bogus type universe calculation
Canonicalise better
Fix canonicalise some more
Be a bit more careful about orienting rules.
Don't bother calling split in reduce.