Boolean typed values are a boolean i.e.
- are immutable, i.e. assigning to a boolean results in a copy of the original boolean
- can be passed in/out of ops via boolean parameters
- can be initialized via boolean initialization
- are coerced according to boolean coercion
Boolean typed values can be constructed from a literal boolean.
Boolean typed values are coercible to: