> If I create a binding for X and initialize it to 1, the compiler should be able to figure out that X is an integer without my having to tell it.

There are many integral types, all of which have different properties, often for good reasons.