Model general and array value constructs used by Bastion #56

Problem

Reference workload: /Users/teakowa/Repos/wrightkit/.task-scratch/bastion/bastion.ow with scenario .../bastion/scen.json (run: see .task-scratch/bastion-loop-state.md). After athena#54 (PR #55) Bastion stops with not_modeled: "value ifThenElse" at tick 0. Constructs in this issue come from counting what Bastion uses; the PR body must list which ones it modeled and which it left NotModeled.

Scope: general and array values

If-Then-Else, Compare (all operators, incl. arrays/null), Not, Or, Divide, Round To Integer, Max/Min-style math Bastion uses, First Of, Count Of, Array Contains, Index Of Array Value, Array Slice, Append To Array, Sorted Array, Filtered Array, Is True For All, Is True For Any (these need Current Array Element), Map-free forms only, plus Modify Global/Player Variable and ...At Index actions and Set Player Variable At Index if not yet modeled. Semantics follow workshop-rs definitions; array and null coercions follow docs/architecture.md.

Acceptance criteria

• One unit test per value/action family with a boundary case (empty array, null operand, index out of range).
• Standard gates: fmt, clippy -D warnings, tests, wasm32 build; update docs/simulator-interface.md in the same PR. A construct without a passing capture fixture is recorded in docs/findings.md as modeled-not-measured (AGENTS.md). The Bastion run must move past every construct listed here that is pure value logic; record the next stop in the PR body. Budget: split the PR if it cannot finish in 30 minutes: the first PR may cover the first half of the list.