a simple language for parser combinator turoring