U.LiftToFullAst
val expr : AST.expr -> Ast.Full.expr
val ty : AST.ty -> Ast.Full.ty
val item : AST.item -> Ast.Full.item