fact: Definition bool_signature := make_signature_simple_single_sorted [0; 0; 1; 2; 2; 2].
imports: UniMath.MoreFoundations.Notations UniMath.MoreFoundations.Bool UniMath.Combinatorics.StandardFiniteSets UniMath.Combinatorics.MoreLists UniMath.Algebra.Universal.Algebras UniMath.Algebra.Universal.VTerms