Changed some time functions into uppercase again.
Added comments on purpose of the rules in the pretty printer.
Added rule to convert viewnames when they are used as qualifiers.