config-check

Copperbox revision 3071.

I've added an onlyif combinator that proceeds only if the initial guard is true, but doesn't fail if it isn't. This will allow conditional checkers that don't produce warnings if they aren't relevant.

I've had to change the internal answer type from a simple Either to accommodate the short-circuit success that onlyif needs.