[GHC 7.4] Do not mix PolyKinds and ConstraintKinds

PolyKinds and ConstraintKinds seem to not mix well on GHC 7.4 and cause
issues. This commit removes our nice :$ type, but makes it work in GHC
7.4 again.
Fix test failures on GHC 7.4