When a user puts in a new usage example, we need to type check it. We can do some type checking in the spec only if they've put a type in the search bar.