lift env (LProj t i) = do t' <- lift env t
                          return (LProj t' i)
lift env (LProj t i) = do t' <- lift env t
                          return (LProj t' i)
lift env (LProj t i) = do t' <- lift env t
                          return (LProj t' i)