What I mean is we could have a file that defines `Univ` and `Bottom`, which wouldn't need to depend on filters.  Then filters depend on that, and types depend on filters.