An attempt to use the new GHC feature TypeNats and Typed Kinds
for the implementation of SizedTypes.
Although TypeNats offer type level computation, and appear just
what we need, there are some limitations and restrictions in the
current GHC release (7.6) that do not allow us to use this
implementation in KansasLava.

More specific details appear in comments in
Data/Sized/Sized.hs

This branch is on hold, waiting for enhancements to TypeNats
in future GHC releases.
refinements to better support KansasLava.
code cleanup

toMatrix/fromMatrix have been renamed toVector/fromVector
Move a few common type instance definitions to separate file

Now users of Data.Sized can choose if they want to
use these type instances.
Ensure that the basic tests run correctly.

2-D matrices are currently printed as a linear list,
so I changed the ref outputs to match this format.

the function cropAt is no longer supported, so this test has been commented out.

Tests for above, beside, etc. require additional type instance
definitions for TypeNats.  These are included as required in specific files.
Merge branch 'NatsNotReady' into type-nat

Additional changes and refinements to improve integration with KansasLava