Normalise before case split

Allows case split to work on type synonyms. Fixes #805.