Most of typeInfer done with some errors (errors possibly result form other parts of unfinished code)
Almost done