merged

stub for (later) correct deresolving of class method names

tuned serializer interface

private version of commas, cf. printmode

merged

merged

re-added accidental omission

tuned includes

prevent line breaks after Scala symbolic operators

corrected semantics of presentation_stmt_names; do not print includes on presentation selection

code_include Scala: qualify module nmae

merged

preliminary implementation of hierarchical module name space

tuned