Added test exercising field number expression generation e.g. mk_(1, true).#1 in VDM
Fixed test result for field number expressions
Cleaned up template for sequence enumeration
Minor changes to Tuple implementation interface
Added generation of field number expressions, e.g. mk_(1,true).#1,  and improved cloning of generated records/tuples