Assignmment based type inference
Merge pull request #233 from vitek/_type_inference_new

Assignmment based type inference