ml! macro

[KeenS]

ml!(let val x = 1 in x end) => Expr::{ ty: (),inner: ExprKind::Let { ... }}

open problem: how to embed Rust values?