Added EXPECTED_EXPRESSION_TYPE slice in BindingContext.
Added guessing types for a declaration without an explicit type.