changes to quasiquote signatures
synthesizes liftable and unliftable