The definition of x must have an accompanying type signature

In Disco, you are not allowed to define a variable by simply saying x = .... You must also specify the type of a variable by placing a type signature before it, like this:

x : N   -- a type signature for x
x = 5   -- the definition of x