proposal: support for Identifiers on Agent

The attached patch contains a proposal to support `Identifier`s on the `Agent` data type.

Comments are welcome.