stub more haskell methods

Membership need not be a full model yet