[justinpombrio]

The type annotations are optional, so you can write:

    fun square(n):
      n * n
    end

In fact, I believe the major motivation for making the type system optional was to not force beginning students to write types.