[cddlm] Do we have a blast CDL or a SmartFrog spcification for Blast which we can use to convert to CDL