Typing visitor