Centralizing type resolution in appropriate visitor methods; preparing to enforce type coherence.