Improve relational

fixes #8206 (please feel free to any others that are related that also work with these changes)
fixes #6463 - I just let polys do as it likes but make sure that the properties requested are right

This is causing a test failure,  should be `t0 = t[0].inf - 1`.