Modular lambda language now supports qualified references to other modules;
Added interface for replacing a reference by a safely qualified reference (to be used by modular NameFix);
Implemented SQR replacement for modular lambda language;
Some minor adjustments, especially adding NominalModular as sub-trait for Nominal