New inference scheme

The inference scheme proposed in http://smallcultfollowing.com/babysteps/blog/2014/07/09/an-experimental-new-type-inference-scheme-for-rust/

f? @pcwalton, @pnkfelix
nit: "for procs"