is mentioned by

Thm* a,b:Collection(T), x:T. x a + b x a x b	[member_col_add]
Def (a + b)(x) == x a x b	[col_add]

In prior sections: core bool 1 int 2 list 1

Try larger context: GenAutomata