id x = x if__ cond, then, else = if cond, then, else for__! i, proc! = for! i, proc! add x, y = x + y abs_ x = x.abs() Norm = Trait { .norm = (self: Self) -> Nat } norm x = x.norm()