finished docs on types