add an 'identifier' type

This introduces a new, limited-length, limited-charset "identifier" intended to be used in URLs and DB indexes.