Improve imports - only import those type.mzns that are actually used ...

[Alexander-Schiendorfer]

When using "defs.mbr", we get all imports in the minizinc model - we should improve this