parser for GDOL

[mcodescu]

• consider adding pattern before the local subpatterns
• parse the body of a pattern into a structure with variables for OMS and for syntactic elements that may appear in parts of basic OMS (lists of symbols, data parameters). This will most likely require just a scan for the body and actual parsing after macro replacement
• for instantiation, parse the names that appear in arguments to unsolved strings, to be solved as ontologies, references to local env or new declaration of kinded symbols during static analysis