Add some post-parsing warnings

These are easiest to check after parsing, since a symbol/choice can be
defined in multiple locations:

 - Warn if a symbol or choice defined without a type. Also warn for
   choice value symbols defined without a type, even if they
   automatically get their type from the choice. This feature isn't
   well-known and probably not used deliberately.

 - Warn if a choice is defined without a prompt

 - Warn of a choice default symbol is not contained in the choice

Also move _name_and_loc_str() from the symbol class to the global scope
and generalize it to be able to handle choices.

0 files changed, 0 insertions, 0 deletions