added lift method on terms for type lifting as well
added lift method on terms for type lifting as well

lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III