identifier_type -> extension (everywhere) fixes #74