Add docstrings to Text.idr.