Move the core library from std/