All values are immutable, and any values constructed identically are
indistinguishable (e.g. copying a list does not yield a "different" list). By
convention, booleans and lists are encoded as follows: