(* SYNTACTIC EQUIVALENCE FOR SELECTED LOCAL ENVIRONMENTS ********************)
(* Basic_2A1: includes: lreq_atom lreq_zero lreq_pair lreq_succ *)
(* SYNTACTIC EQUIVALENCE FOR SELECTED LOCAL ENVIRONMENTS ********************)
(* Basic_2A1: includes: lreq_atom lreq_zero lreq_pair lreq_succ *)