updated test code for SizedTypeAsNat.

Everything compiles now, but there test failures for
data with type Sampled,
and for the test: rotate/U2/1 :  testing(4)