Feature: superType procedure that returns the typedesc of the next type up the hierarchy

[jovial]

Might come in handy for generic methods using the procCall feature. You'd have a complimentary procedure, hasSuperType to test for the existence of a type hierarchy.

[Araq]

Can be provided via the new macros.getType() API.