An instaparse parser for some of this language