assert-term lowers term to :Proposition if necessary.