Fix/hyperpose variable arg

[ermijeremy]

Fix hyperpose to support variable/computed list arguments in translator

Description

Problem

hyperpose worked only when its argument was a literal list at translation time, e.g.:

(hyperpose (1 2 3))

but failed for variable/computed lists, e.g.:

(let $xs (1 2 3) (hyperpose $xs))

Root cause

In translator.pl, the hyperpose branch directly called build_hyperpose_branches(L, ...), which assumes L is already a concrete list during translation.

Fix

Updated translate_expr for HV == hyperpose to use two paths:

1. Compile-time fast path (unchanged): if L is a nonvar list, keep existing branch compilation behavior.
2. Runtime path (new): evaluate L first, then execute hyperpose_runtime(LV, Out) for variable/computed list arguments.

Added helper:

hyperpose_runtime(Exprs, Out) :-
    is_list(Exprs),
    concurrent_and(member(Expr, Exprs), eval(Expr, Out)).

For expressions like (let $xs (...) (hyperpose $xs)), the runtime helper iterates/evaluates each element concurrently, preserving hyperpose semantics.

Validation

• !(test (collapse (hyperpose (x y z))) (x y z)) passes.
• !(test (collapse (let $x (x y z) (hyperpose $x))) (x y z)) now passes.

[ermijeremy]

@patham9 any review?

[patham9]

@ermijeremy Well-done, and perfectly executed, thank you so much!!!