So, the pattern is:

    <const_name> : [type] : <value>
    <var_name>   : [type] = <value>

where the type is always optional as it can be inferred?

That's why `a :: 32` declares a constant, but `a := 32` declares a variable...

This is pretty neat, actually.