make equal_on take a signature rather than a context

since it was only using the signature of the context
use equal_on in termsem_sig (renamed from termsem_consts)