Graying out unused open declarations (active patterns)