[OneWingedShark]

IIRC you can disable/forbid the default like so:

    Function "*"(Left, Right: Distance) return Distance is abstract;

then use:

    Function "*"(Left, Right : Distance) return Area;

[tmcb]

That seems to do the trick for an individual predefined operator specification. Thanks!