Added a `Specification#convert` API and updated CLI to use it