closes #153 many improvements to type layer (test, docs, refinement)

check length for unexpected extra data