A few simplifications to the semantics#4

Closed

OwenConoly wants to merge 12 commits intoChezJrk:mainfrom

OwenConoly:no_type_context

Commits on Nov 1, 2025

remove unnecessary SizeOfSum hypotheses
OwenConoly
committed

Commits on Nov 18, 2025

get rid of "sh" parameter of eval_expr
OwenConoly
committed

Commits on Nov 22, 2025

have one Lbind case instead of two in eval_expr
OwenConoly
committed

Commits on Nov 30, 2025