drop unnecessary ' in promoted types
add ident, hasCols, hasRows
more literature/motivation
more packages in docs