added a test based on what toplSpecs produces

also,
- an pretty printer for expressions that almost produces what the parser
  reads (useful for debugging, such as getting the test mentioned above)
- small changes to parser
- skip a few more html tags when printing to a terminal