feat(dfir_lang): type checking for pipeline flags

[MingweiSamuel]

• [ ] bounded vs unbounded (easy)
• [ ] owned/ref - do we want to use actual & refs within loop DAGs
• [ ] iterated/materialized (tbd)
• [ ] keyed descriptors (see if/what david needs)