pub type Main = (Vec<Def>, Spanned<Filter>);
(Potentially empty) sequence of definitions, followed by a filter.
