Is it possible to switch the phase without leaving the current session? I tried to enter: power mode, but it still doesn't print types.
In SBT, just add the following setting:
set scalacOptions in (Compile, console) := "-Xprint:typer"
in REPL you can use :settings -Xprint:typer
:settings -Xprint:typer