cleanup
the prior version of run_06b.pro contained ERRORS. it would report 'verified correct' due to my MISUSE of prolog! this fixes that
adjustments to the cardinalities of sets
datatype initialization modules that one can choose from (exchange/interchange) depending on the desired size of the domains