sub GetType (-->Type) { ... }
my ::RunTimeType := GetType;
This is clearly permitted by the prose, that " ::x may be bound to any object
that does the Abstraction role, such as a typename, package, module, class,
role, grammar, or any other protoobject with .HOW hooks."
But the syntax might think that is the value type and complain that no variable
followed. Can someone make sure the grammar handles this, so we can bug Larry
if it doesn't?
Also, is this the normal way of making typedefs?
my ::Newname := OldTypeName;
(or constant instead of my?)
or is there some other syntax specific to the task?
