Fix implementation-specific element names
Document the IdentifierStack API