Add `+` in function trait bounds, add more snippets