Decidable equality for RType

- it is implied by the interface anyways.