to verify that `fun eval()` (and all other `when(e...
# language-proposals
c
to verify that
fun eval()
(and all other
when(expr)
) handle the stuff correctly