#2 Check the type of external variables

[John Snelson]

Check that global variables set in the dynamic context
are of the type they were declared as.