First draft of type documentation proposal.