more markup for inner and outer syntax;
added enclose;
Major: Complete pgip_types: add PGML and objtypes Complete pgip_markup: provide markup abstraction for parsing.MLMinor: cleanups: signatures & structures, concrete types in XML attrs, etc. further tests in pgip_tests.ML