phrase(look_ahead(a), "a", "a").
phrase(replace, [foo, tail], [a, b, tail]).
phrase(push_one(x), "x", "x").
phrase(push_pair(a, b), "ab", "ab").