Fix default implementations of || and &&