varying/test+bug #4: tests and fixes for Varying::pure.