Move records' docstrings in comments

Apparently records can't have docstrings. Should find a way to put those
descriptions as metadata on something.