Thu, 22 Aug 2013 16:53:17 +0100 mjsousa Fill in the 'datatype' anotation in the identifiers of symbolic variables.