Add let definition and prepare type checker