Support for with-theme-details designators
Added prolog details to semantics descriptor file
Moved designator publishing ensurance in dedicated function

Hopefully, this didn't break the mechanism -- but now the oftenly used, important method of publishing designators and registering them in the plan log properly has its own function.