More work on unfolding full_measure similes.

This adds testcase v10.