fact: Definition list_signature: signature_simple := make_signature_simple [ (nil ,, list_sort_idx) ; ( [elem_sort_idx ; list_sort_idx] ,, list_sort_idx ) ]%list.
imports: UniMath.MoreFoundations.Notations UniMath.Combinatorics.StandardFiniteSets UniMath.Combinatorics.MoreLists UniMath.Algebra.Universal.Algebras UniMath.Algebra.Universal.Terms