let式を追加

let式(let Var = M in N)を追加した
この追加のためにAnd述語とNot述語を追加した