Add rules for <=?.  Also makes wired-ins for promoted booleans.