let x : Natural = 1 let y = 2 in x