use hlist now & give a type signature for some controlspace functions
add a LiSystemCxt type to "simplify" things
drop unnecessary ' in promoted types
add ident, hasCols, hasRows
more literature/motivation
more packages in docs
Merge remote-tracking branch 'upstream/master'