MorphismClass redesign; Valid class inside Helper.hs
removed extra imports; added Helper import
implemented default image and defDomain