StdLiftables
Re-use introduceTopLevel result
Whitespace
isEmpty instead of size == 0
Use macro ??? all over the place
Refactor quasiquote test suite