make implicits 'defs' in ReplImplicitContext