Using new Nat version of sized types.
Removing Wakarusa
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)
Corrected repType for Sampled.  Now regression tests pass.

Also, removed a few more compiler warnings.
Changing fabric monads to use fabric-specific clocks.

Spark has been commented out for now.
Adding in clock constrain; fabrics imply clocks.
Getting the Sparks working again with new clocking.
merging in Ed's test fix