Closes #94 by only patching type params in dupl

instead of doing the entire `fixType`, which also entails patching up
possibly invalidated-but-not-yet-typed local symbols. Also adds a guard
against `NoSymbol` sneaking in during the `fixType` transformation.