Parameterize RecursiveVisitor with return types to implement TyperVisitor
Add namer tests fixed by the visitor reimplementation