Add support for `let (==>) = Lambda in …`
Assume all variables with the "Native." prefix exist and have type "a"
Add support for "number" type which can be either an Int or Float
Overload literal numbers without a decimal point to be either Ints or Floats