Fix parser, powerset domains, and compound var aliases#11

Merged

danwt merged 3 commits intomainfrom

danwt/claude/symbolic-mc-phase2

Feb 12, 2026

Commits on Feb 12, 2026

claude: fix(parser): restrict postfix call to identifiers and field accesses

danwt
and
claude
committed
claude: feat(symbolic): support set-local domains in SetComprehension and choose

danwt
and
claude
committed
claude: feat(symbolic): support bare compound Var in Let bindings

danwt
and
claude
committed