A small but (IMHO) very neat detail is the Pascal-style syntax for defining variables (without requiring a separate 'var' or 'let' keyword):

    // inferred type:
    a := 23

    // explicitly typed, the type is squeezed between the : and =
    a : u32 = 23

OTH constants now require special syntax:

    a :: 23

...but at least this is consistent with other places in the language, like functions:

    my_func :: proc(...)

...and 'squeezing in the type' also works as expected for constants (which admittedly looks a bit weird, but is also hardly needed):

    a : u32 : 23