fixed #290 change the Text to a StylesText and applyed the VDM SL code scanner such that all PO's are highlighted using the VDMSL style which should include all expressions
updated quick interpreter to use style text too showing the same highlight as VDM-SL