What is the preferable solution for the role of standard library?

[mars0i]

@perry

An aside: what’s the status of modular implicits? They sound very cool.

Modular Implicits

Are we going to merge this to master? If not what’s blocking it? Thanks!