We shall re-implement the equivalence reasoner as described in the [project][project] description. This includes the following: * [x] Add the implementation * [x] Add the implementation documentation Both the implementation and its documentation shall appear in a section “Implementation” in the document. [project]: https://github.com/input-output-hk/equivalence-reasoner/projects/1 "Add the next-generation equivalence reasoner"
