Add type inference to the compiler

Add a type inference in the pipeline (@ligo.suzanne.soy 's new typer) and move the old typer as a typechecker.

The inference is disabled by default. Use the --infer flag to enable it.