Default type contexts in REPL

Prelude> x*y=:=12 where x,y free
ERROR: cannot handle arbitrary overloaded top-level expressions

Note that this already worked in version 2.3