[kisoron-ml] quantum lambda calculus