Carbon standard library specification

TODO