Building on top of the parser, this adds basic (but efficient) query solving.