Initial version of type inference. It is still very rudimentary at the moment since it just tracks pointer but it's a very solid start!
* Initial version of Type inference
