Add parsing UIDs as a requirement for Record, explain how they propagate along @-chains and make a case-insensitive instance for Work