Change branch identifiers from `:::T/F` to `:::1/2`

[langfield]

We do this because the Ts and Fs do not always correspond with true and false branch predicates, which may be confusing for users.