add forall simpl instances

Merged Michael Sammler requested to merge ci/Forall_simpl_instances into master

Merge request reports