Updating the either tests to include the laws
- Moving a lot of the boiler plate to the lib folder
- Adding EitherT tests, needs manual tests adding for bimap, swap tests.