Parameterize RecursiveVisitor with return types to implement TyperVisitor