add an 'identifier' type
Merge branch '9/ident' into nine