This came up at the F2F. Currently all var and const require the type to be supplied. This is redundant in the case where an initializer is provided and we can determine the type.

The proposal at the F2F was to make the type optional. The grammar would become:

var <id> [: <type>]? [= expr]?

Where the type is optional if expr is provided and we can determine it.