This also documents the registry format and matching/unification semantics (though not quite correctly).
Eelco Dolstra