[ new feature ] large indices

Forced constructor arguments no longer count towards the size
of a datatype (only if not --without-K).