implement version of termsem_cert that builds an interpretation

requires its input to be a closed term, since it doesn't currently build
a valuation