Derived sym table has find() implemented, with a test, and type parameterizer now uses writeInParameterizations to swap classes with parameterizations, leaving applyParameterizations to resolve them. Prop symbol table can resolve its parameterizations when necessary