improve definition of equal_on

it just needs to talk about names being in the signature, rather than
full-fledged type_ok and term_ok.