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!
