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

What about BinaryEncoder?