let type a = int type a = string var x: a := 5 in x end