jax

ddea95e6 - reuse commonly-typed input/output values when joining partially evaluated conditional branches