Initial version of match, checking subsumption and type.