Incorrect module scope for min/max function variables

[nickbattle]

This is an internal problem that only affects the code generation of specifications which use type definitions that have ord clauses. The implicit min_T and max_T functions that are created use parameters called x and y to compare. The names of these variables do not have the correct module set during type checking, which causes problems during the code generation phase.

The solution is to set the module for these variables to be the same as that of the type definition.

[nickbattle]

Fix now available in ncb/development.