Initial commit of full specification (though no annexes yet)