Binary Lambda Calculus VM and DSL on top of it