Added simple addition unit test.
Added some unit tests.
Added unit tests
Added the possibility of failure cases to the type system's unit tests.