Typer: wrong evaluation order made initial environment degeneralized

Bitten by side effects! :'(
Dump env: also dump extension environment