Add new intellisense proposals for keywords

[aeisenberg]

The extension could provide keyword proposals where appropriate. For example, in the top level, select, where, from, predicate, etc will all be available.

[adityasharad]

Autocompleting on an empty top-level gives suggestions for boolean, class, date, float, from, import, int, select, string, where. This covers all the primitive types that could be used as the result type of a predicate declaration, and most keywords valid for top-level elements. Is that what you (/the users) spoke about, or are you referring to something more detailed as a keyword proposal?

Note there are a couple of interesting omissions: predicate and module should be suggested too, but currently are not.

[aeisenberg]

predicate was exactly one of them that i was thinking of. And yes, the others seem to be available.

Other things like quantifiers exist, count, etc are not available in intellisense. Part of this issue should be to enumerate what is missing. I wouldn't consider this high priority, though it's not particularly complex either.

[alexet]

From a historically perspective we explicitly chose not to do this as there were objections over offering too much so we only chose a very small number of keywords to complete. In particular we didn't want to add predicate level keywords. There was a lot of comparison to other ides that do it that way.

I disagreed with that reasoning at the time and I think we should add more keywords but I though it prudent to note what we thought historically.

[aeisenberg]

I can understand not wanting to clutter the proposals list. Maybe as an alternative, we shouldn't propose just the keyword, but create a full template for a predicate (and other missing keywords).