Allow class names to be infix

Use case:

    class (:<:) (f : Type -> Type) (g : Type -> Type) where
      isSubFun : SubFunctor f g
Merge pull request #821 from david-christiansen/infix-class-names

Allow class names to be infix