Search with examples

Fixes #499