New docs, examples, added asserts for Only!T