Чтобы не засорять ветку, вынесу обсуждение.

1. Как в такой схеме реализовать квазицитаты и во что превратится PExpr?

2. Всетаки минимальный лексер, имхо, лучше оставить. Для препроцессора и indent синтаксиса.