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