Vega symbols and record transitions

Circle and square symbols preserve area-based Vega sizes. Filter the records to shrink cuboids at their last positions, restore them, and change their layout while animation is in progress.

The same JSON specification is available in the playground's Vega tab and inline Vega docs.