Make implied-atomic work on AndFilters as well.
Add with-lexical-env/extend-props.
Simplify how we add props after tc-if.
Make tc-if use add-unconditional-prop.
Make tc-if not manage raw prop-envs.
Make tc-let add unconditional prop.
Move the unconditional prop addition to with-lexical-env/extend-props.