Processing: enhance canonicalizer to implement more simplifications

[sschober]

We could imagine, that

Cat(Lit(L1),Lit(L2))

Could be simplified to just

Lit(L1L2)

Maybe other reductions apply.

[sschober]

But I don't know if simplifying the AST is a favorable goal in and of itself. Higher granularity would be beneficial for a formatter.