#71 consider initializer-only variable declarations

[Andrei Kapustin]

If a variable declaration specifies an initializer and no other properties except type (e.g. "declare a : integer = 0"), may we not omit the type (as in "declare a = 0") and infer variable type from the constant's type ?