Add test for Result<bool>, fix sfinae

Add an explicit test for Result<bool>, showing usage with the explicit factories. It also fixes a small inconsistency in the detection of ambiguity between the two types of Result.