Mostly aesthetic improvements

The type synonyms now also set the labels to be (), as per Dimitri's request.

Modified AstRanges not to rely on labels anymore (it now uses ctExp, yay!)
Update the parser and the static evaluator