Type labels are an optional component of anywhere a variable is declared. Beginning with a : and followed by a type name (a capitalized Vikari identifier, and then followed by a sequence of uppercase letters, lowercase letters, numbers, or underscores), type labels provide type hints to the interpreter to provide additional type checking for statements, functions, and type declarations. Presently the only implemented Vikari language feature that supports type labels are variable declaration statements.
If a type label is elided, the variable automatically has a declared type of AtonementCrystal. Vikari also tracks the assigned type, which is simply the type of the initializer expression or the result of the last assignment statement to the variable.
The following demonstrates proper use of type labels in variable declaration statements.