make instance take a tmenv rather than a whole sig

since it ignores the tyenv. arguably the same should be done for
termsem.