maintain explicit name space kind;
export Name_Space.the_entry;
tuned messages;
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