a version of grep that knows about the use-mention distinction