added tests for check result < and == operations correct implementation of some checked result types added constexpr example