AST printer updated (prim-revapply)