Start writing types document for documented code representation format