Render record types better, fixes #73.