Update test for equivalency to include region binders in object types, add new tests relating to HRTB.