WIP - start working on parser. Move Types2 to Infer