Unsuccessful attempt to move KansasLava to SizedTypes based on TypeNats

The GHC TypeNats extension looks like a promising approach for
handling type level computations which we really use in KansasLava.

I attempted to re-code the SizedTypes module using TypeNats;
but converting KansasLava here to use it has not been successful.

See more details on the NatsNotReady branch of SizedTypes.

This branch is on hold, waiting for likely enhancements in future GHC releases.
Intermediate check-in.

Many modules now compile, but some do not.
Everything compiles, But untested
Take care of several TODO's
Simple edits to remove a variety of compiler warnings
Correction for width of Message's.
Unsuccessful attempt to move KansasLava to SizedTypes based on TypeNats

The GHC TypeNats extension looks like a promising approach for
handling type level computations which we really use in KansasLava.

I attempted to re-code the SizedTypes module using TypeNats;
but converting KansasLava here to use it has not been successful.

See more details on the NatsNotReady branch of SizedTypes.

This branch is on hold, waiting for likely enhancements in future GHC releases.
Intermediate check-in.

Many modules now compile, but some do not.
Everything compiles, But untested
Take care of several TODO's
Simple edits to remove a variety of compiler warnings
Correction for width of Message's.
Merge commit 'c6865391c335f7eea7a626a0'