Modifying flattening combinators to use symbols.