remove requirement for tyin to have variables in domain

by filtering out bad mappings, which have no effect anyway
some progress on INST_TYPE_correct