declaration filtering

[gavinking]

There needs to be a way to exclude packages or declarations from completion results, and perhaps also from other result lists. (The eclipse IDE supports global filters along with 3 more specialized filter sets.)

Perhaps, initially, it is enough to support the use of ⌥⏎ in the open completion proposal list to exclude the selected declaration from future completion lists, like what IntelliJ's Java editor supports.