public readonly property index as Int:
Runtime constructor index on the declaring class.
ctor = User.type.getConstructors()[0] assert ctor.index >= 0