Added equality and notes on type level magic it uses
Added Isos and some implementation
Completed isomorphism and notes on isos