Added "Indexed" abstraction. Added generation output