Update notes.
Simplify type hierarchy and replace `is?` with `=`.
Remove `reify` as it's too generic and could potentially be abused.
Replace `type-of` with `identify` to allow returning the full type lineage of a value.