Targeted typeclasses

Transitions from using purescript-heterogeneous to a custom iterator over RowList in Create.purs and Change.purs in order to avoid making type-level assertions about proof terms. This is necessary in order to build existential types that can use create or change internally without unsafely coercing the proof term.