Parser and consistency fixes

[marcoeilers]

Several small fixes for parser and consistency check related issues:

• Consistency checks ensure quantifiers have at least one quantified variable (+test)
• Parser no longer crashes on integer literals that have a newline in the middle (+test)
• Fixed parser error that occurred when combining sequence/set/... literals with domain function applications with type annotations (too many cuts in the parser prevented required backtracking) (+test)
• Allow whitespace between unary operator and expression (+test)

[vakaras]

LGTM (I have no clue about the parser). Thank you!