Add set difference - op to mgcollections
Handle outside operators with unknown definitons

Previously, the compiler would crash when an operator defined in another
module was used, because it expected to be able to see the parameter
types fully.
Allow references to defs in their initialisation