drawbacks of the prior version dealt with:
location of .cmt files is now handled automatically while abstracted data structures are made visible, which applies to modules both statically defined and in expression form. the range of compiler versions tested: 4.04.2 -> 4.10.0