Smaller refactorings
Implement matching with quasiquote