Snippets tagged type inference