Types

SomeNatural {...}{.explain.} = concept typeof(T)
    T is SomeInteger
    when compiles(T.low().Natural):
      T.low().Natural == Natural.low()
    else:
      false

  Source Edit