Write first core library specification for issue #1