improved compatibility of RG file format
some test code for normalisation procedure
wrote some combinators and a simplification procedure