Recent developments in the theory of implicit operations