Adding first cut at sized-type using the type-nat stuff.
sized-types working for Sized.
Towards using the IArray overloading.
Generalizing using IArray.
Adding new instance.
Adding Applicative, append.
Comment out transpose (why?)
Not sure about this instance (perhaps testing?)
Working with Iavor on Nat usage.
Adding DataKinds PRAGMA
Adding Vector2, mm, and transpose.
Adding typeable.
Fixing up matrix
Fix for ghc 7.4: Num no longer depends on Eq and Show, so we must use them explicitly.
pop count stuff
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.