RFC: Make libstd a facade