Fix the numbering of (Bool <~> Bool) <~> Bool

Reported By: Edward Z. Yang <ezyang@mit.edu>