ideas for additional operators/abbreviations in input language

Just to collect ideas here for now:

Knowsall agent equivalent to approximately Conj (map Kw (vocab)).
Ideally this should be implemented directly in the parser but it may need yet another primitive in the Form type because the Form parser does not know what the current vocabulary is. On the other hand, the CheckInput parser does know 🤔

Provide feedback