test: comprehensive TypeLL test suite — VQL bridge, core, integration

Add 153 new tests across three test files bringing the total from 245
to 398, covering:

- VQL bridge: all 10 safety levels (names, ordering, subsumption,
  round-trip), all 9 modalities serialisation, VQL extensions, bridge
  mapping to UnifiedTypes, incremental level checking
- TypeLL core: unification edge cases (Pi, Sigma, refined, tuples,
  occurs check, Error/Top/Bottom, numeric equivalences), inference
  context (scoping, generalization, instantiation), TypeChecker pipeline
  (linearity detection, effect recording, feature reporting), usage
  tracker (bounded, affine, untracked), effects (merge, handle, subrow),
  QTT contexts, session types (duality, well-formedness), dimensional
  analysis (sub, compare, inverse, scalar ops), proof obligations,
  predicate evaluation, term arithmetic, serialisation round-trips
- Integration: full VQL -> TypeLL core -> level checking pipeline,
  incremental level progression, session protocol through session system,
  effect checking cross-crate, linearity through usage tracker,
  proof obligations, polymorphic identity inference, dimensional analysis

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath