GADT for LTI typechecks now
Merge branch 'master' of https://github.com/dmcclean/DimMat

Conflicts:
	examples/controlspace.hs
redo vconcat and hconcat. Not really sure if this way is better.