Small changes in ReoLangSemantics to support Patterns and instances in
separated files...