added some HOFs for Alcotest; move later to Prelude
added some HOFs for Alcotest; move later to Prelude

conreality/conreality,conreality/conreality,conreality/conreality,conreality/consensus,conreality/consensus,conreality/consensus,conreality/conreality,conreality/consensus,conreality/conreality