Added markers to show naming violations and unsupported modelling rules/constructs in the VDM editor