so, should we change the test on the typeSymbol to an actual subtype test?