Remove unused known keys and names for list operations

This removes the known-key and corresponding name variables for concat, filter, zip, and (++), as they are apparently nowhere used in GHC’s source code, and thus resolves part of #26677 (closed).