don't report warnings for structural subtypes and for (potentially) compatible functions
reorganized/extended tests for inconsistent type analysis
some more tests; fixed bugs related to "this of global scope"
debugged some sunspider warnings