Allow types to be recursive
Update README (records may be recursive)