Fix Cases, get rid of most warnings.
Add back subsorts.
Formating change, for consistency.
Add reduction and unification for constructors.
Unification for normal forms.