Improved type analyzer with output about dynamic requests
Disabled symbolic strings, and added some diagnostic info to
SymbolicExternalWorld rather than crashing