CExp: add ability to use predefined constants, and implement true and false as such constants
CExp: add ability to use predefined constants, and implement true and false as such constants

kmate/imperative-edsl