(&&), (||): Grow preexisting And, Or when applied to one
Circuit, Bit, Lit: Show instances