compile_file():   more consistent phase printing type_exp():   moved type inference into a separate function so it's easier to call it twice, and easier to swap the new and old engines.
compile_file():
  more consistent phase printing
type_exp():
  moved type inference into a separate function so it's easier to call it twice, and easier to swap the new and old engines.


samrushing/irken-compiler,samrushing/irken-compiler,samrushing/irken-compiler,samrushing/irken-compiler