Move some stuff out of SwiftCheck