Implemented type inference on variable declarations