Add type annotations to let expressions

[siddharth-krishna]

This PR allows adding type annotations to let declarations:

// Type error:
let t : int -> int = truncate in t 43.3

// OK. y should have type int
let x : int = 3 in let y = truncate x in y