Theorem filter.{l}

feat(analysis/topology, order/filter): theorems for the applicative structure on filter; add list topology