型チェックとドキュメントの整備