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.
Merge pull request #183 from vossad01/Issue22/RemainingDeclaredTypeIssues

Corrects the remaining cases Equivalency assertions are not respecting the declared type