Variable initialization overrides variable type.

[rcgoodfellow]

This code

bit<16> x = 0;

results in an internal compiler type for x that is 128 bits wide since constants without a width specifier default to 128-bit values.

• Came up in Addition with a variable==0 behaves differently than addition with a constant 0 #35
• Related to Infer integer constant widths where possible. #29
• Related to Variables without initializers cause invalid code generation. #34