clean slate

Deletes everything, copy/pastes ReificationSupport and its dependencies
from master in order to start from scratch.
changes to quasiquote signatures
synthesizes liftable and unliftable