removed named types {Empty,False,True,Zero}, changed niladic functions {EMPTY,FALSE,TRUE} to constants, redefined Boolean as subset type rather than union type, refactored set of Boolean inc/dec functions to remove mutual polymorphism