Expose pattern term identity helpers

[MesTTo]

Stack dependency: review after #68. This branch is based on the prerequisite head. Until the prerequisite PRs merge, GitHub may include their commits in the aggregate diff; the intended review increment is the new commit at this branch tip.

Adds term identity helpers needed by derived pattern indexes.

The branch adds insert_term for interning pattern terms without creating fact records, exposes facts() for read-only fact iteration, and factors complete-term parsing through one internal helper so insert_term and insert_fact share trailing-byte and rollback behavior.

Validation:

• cargo +nightly-2026-06-01 test -p mork --lib term_identity with RUSTFLAGS='-C target-cpu=native'
• rustfmt --check on kernel/src/term_identity.rs
• jscpd on kernel/src/term_identity.rs
• git diff --check
• normal diffstat matched git diff -w --stat

[MesTTo]

Closing: part of the un-wired binding_space sidecar line that reimplements the kernel's ProductZipper join (relational matcher / arrangements / trie-join / expression-trie) over a reinvented term_identity::TermId(u64), instead of reusing Expr and PathMap. The kernel core (space.rs/main.rs/sinks.rs/sources.rs/pure.rs) references none of these modules, so nothing is wired to the MeTTa surface. This is the 'reimplements rather than reuses / un-wired feature island' concern. Parking the line; if a specific piece is wanted (e.g. a new PathMap zipper type with property tests against existing ops), it can be reopened as a small standalone PR on PathMap primitives.