Rename Completion to Spec.
Split into library and executable.