add ability to overlap tuple length with type tag. disabled by default.