Add specification of invariance of name field

Fixes #53

Also changes the nearby uniqueness “should” to “SHOULD”, which seems consistent and appropriate.