primitive val Bool is
  Stringable box

new val create(
  from: Bool val)
: Bool val^

fun box eq(
  y: Bool val)
: Bool val

fun box ne(
  y: Bool val)
: Bool val

fun box op_and(
  y: Bool val)
: Bool val

fun box op_or(
  y: Bool val)
: Bool val

fun box op_xor(
  y: Bool val)
: Bool val

fun box op_not()
: Bool val

fun box string()
: String iso^