prototyping parsec-based context-aware parser