Why can't I constrain a Boolean type in EK9?

  Boolean — already maximally constrained (two values)
  JSON — dynamic structure, no defined comparison
  Abstract classes — cannot be instantiated
  Traits — cannot be instantiated
  Functions — not value types

  String — constrain with regex or equality
  Integer — constrain with range (> 0 and < 100)
  Float — constrain with range
  Date, Time, DateTime — constrain with range
  Money — constrain with range
  Colour — constrain with specific values
  Records/Classes with comparison operators

defines module qa.advancedtypes.constraintinvalid

  defines type

    ValidAge as Integer constrain as
      > 0 and < 150

    ShortName as String constrain as
      matches /^[A-Za-z]{1,20}$/

  defines program

    TypeConstraintDemo()
      stdout <- Stdout()

      if validAge <- ValidAge(25)
        stdout.println(`Valid age: ${validAge}`)

      tooOldValue <- 200
      badAge <- ValidAge(tooOldValue)
      stdout.println(`Bad age set: ${badAge?}`)

      if name <- ShortName("Alice")
        stdout.println(`Valid name: ${name}`)

    ValidAge as Boolean constrain as

    ValidAge as Integer constrain as