Monster frontend for XOR (parser + tests)