Removed the At type alias. MA Constraint alias added (until ghc 7.10)