special form checkers: instead of writing directly to console, write errors and warnings to a local parameter
refactor tree checkers to eliminate duplicate code and provide uniformity
refactor special form checkers to remove duplication
minor reorganization