HNF in unification to speed things up
Distinguish parameters and indices internally in data types
This doesn't do anything, yet, but will become important soon!