Support code-completing default values for variables

[shadaj]

In addition to the code-completion logic, this includes a fix to the parser to always surface types to the first non-type parent state, which is required to have access to the variable type when searching for completion candidates for the default value.