added int and bool literals
Added stage2 let and if splitting. Added let to lambda12c, Added some examples.