Deifnition of Lift

Make definitions to lift types and lift and lower terms.