- Fixed editorial glitches, added (u)intptr_t to special "if and only if" rule