Fix bugs with clone-for-spec, and add support for exporting a corresponding argument list for the specialiser proper.