Adds some specs over the behavior of eqivalency assertions respecting the declared type.