Forall intents - the initial implementation.

Can you please switch this to use std::vector instead of Vec and use collectSymExprsSTL instead of collect_asts and filtering for SymExprs yourself?