import Base

def inc(x: U32) -> U32:
  (x + 1 : U32)

law twice:
  for x: U32
  U32