It would be nice to have a unified search experience that
- Included results across resource types
- Included results by formula, iff the input parses as a formula. (We'd need to figure out what to do with singe-term searches though, as those always parse as an atom.)