I have described generalized cofinite filters (including the “cofinite funcoid”).

See the draft at http://www.math.portonvictor.org/binaries/addons.pdf