Added starting implementation of ekmetts hask
Added constraint category
:Merge branch 'master' into MonadPlus