+ qvalue classes, this is the result of an expression evaluation. * if-then-else grammar and AST updated (else statement now in body of if statement)
Merge branch 'master' of github.com:software-engineering-amsterdam/poly-ql