todos
pretty printing for branches in case of testing error
testing parsing of expressions, right hand sides (guarded/unguarded), parsing of literals, strings and ints; parsing of lists