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 w

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.