Added a few type-checking functions
Added inverse function: not
Added not to formatters
Added method support to applyLeft
Fixed incorrect (inconsistent) formatter name