Small changes to StateSpace

remove "hiding Empty" from Prelude. Added morphism type to call
to findMatchesR