Fix #51: Provide nice toString for records
Merge pull request #53 from gzm0/toString

Fix #51: Provide nice toString for records