Change type hint operator from `as` to `::`

[jonhue]

Also, investigate allowing type hints before function declarations like in Haskell:

f :: Type
f := ...

Also decide where to declare type variables (with constraints).