removes an extraneous print in IsoTest
dequasiquotifies tests
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