added documentation and improved as_typed_vector
removed xDiffer; it's difficult to implement and has limited use.