Faster Conversion to Normal Forms

The docstring mentions that a trivially true expression returns {true: true} but the same is printed as {True: True}. Could this lead to confusion? Or most people would simply not notice the difference?