Add a visitor for type checking which does nothing