Added the (partialtype ...) case for Term.