a couple fixes to new tuple type hierarchy