added "tracemap" metamodel
fixed broken reference to EString
Implemented OCL constraints: NoAbortInMainScenario, NoGotoInMainScenario
added diagram for FOAM metamodels