Need to validate types for throw statement #889
Description
The throw statement has a few known supported types (string, or AA).
We should figure out the valid things that can be thrown, and then show diagnostics when throwing variables of unsupported types.