New ID data type an equality functions.
Docs update.