passes all tests adds documentation of library internals implements trap_exception for compile time guarantee for program correctness still needs update to support the above for operations in addition to + and -
