removed @Index@ and changed to use @Ordinal@ from type-natural