Make :browse filter declarations by module name instead of value name.
Make :browse filter declarations by module name instead of value name.

See #396.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol