move lemma to Utils module
renaming

- forall_list -> all
- forall_zip -> all2
soundness of contextual causality for expressions