type checking should map to <leader>t instead