Improve scaling of type derivation for LOG{AND,IOR,XOR}.