compiles, but @@> is broken along with other operations
@@> kind of works now
lookup works now
document inference concerns
update cabal file, part of controlspace conversions to/fromHLists
switch back to dimensional
Merge branch 'master' into units

Conflicts:
	README.md
	examples/controlspace.hs