[Feature] Type Inference

[mohammadfawaz]

Type inference to allow code like:

let x = 1u32;
let y = Foo { .. };
// .. etc