[Typing] rename typing.rs to inference.rs, we reserve the word `typing` for the entire process.
Added draft of next typing steps: selection of the typing version and naming of structures.