Adds some more tests over equivalency's conversion step.
Modifies a few EquivalencySteps so that they respect the declared type.
Adds some specs over the behavior of eqivalency assertions respecting the declared type.