sexpr

sexpr:=
expressions | let spattern = sexpr in sexpr
expressions | slambda