language LambdaBool extends LambdaNum { Exp[true] --> true ; [false] --> false ; [if] --> if ; }