alloy: beginning to properly subst ontology mismatches