Merlin_typer: fix typer of nested let bindings
Reimplement TypeOf commands