Why do you disallow `&&` but still allow `||`? (Especially since `&&` is properly typed where `||` is not).