isHoleable

Is true iff T has a specific value dedicated to representing holes (removed/erase) values.