(fix) Infinite recursion when using negation.
(test) Tests for Option and Result assertions.