ID-ish

Provides traits for ID types.

Provides two traits at the top level:

And two at in id_containers:

MaybeID has two methods:

ID has none, but builds on MaybeID.

Stuff