Deprecate short-circuiting disjunction

There's no need for special sugar when primitive operations handle it so cleanly.