Search

( and-let* ( claw ... ) body )
claw⟩:= 
( variable expression ) ( expression ) bound-variable