In an effort to fix problems rather than just work around them, here's a patch to Feb2001 sources(*), which permits the use of qualified names in instance declarations. Hopefully in a good enough shape to be used; mildly tested. --sigbjorn (*) - not quite, diffs are wrt Feb2001 sources after having applied the module re-exportation fix I suggested earlier.
inst-patch