user-defined type conversion

[18k11tm001@sneakemail.com (Russ)]

I am experimenting with a simple type system for physical units.
Suppose, for example, I have types for inches and feet, and I wish to
write an explicit conversion:

type inches is new float;
type feet is new float;

function inches ( arg: feet ) return inches is
    begin
    return inches ( 12.0 * float(feet) );
    end inches;

The problem is that I am not allowed to use the name inches for the
conversion function because it is already used for the type name. It
seems that the name should be overloadable for both the type and the
conversion function. Is there any way around this?