add rule: term  ->  lambda  vars . term
Tokenize ':'
Add rule S1  -> S0    |   some  var  in  term : S1    |   all   var  in  term : S1