Add chain expressions: a^b(c) <=> b(a, c)