Combinatorial Algebra: Syntax and Semantics