in test AssocTypes2.hs added, version of AssocTypes where in class Index i the i has kind * -> *, not *

there is another extension neccesary for doing this: ConstraintKinds
examples using this are in class Index and class CFunctor, a functor class with constraints for the arg and result type