Simplify SimpleSpec with new kit
Simplify SimpleSpec with new kit

CodaFi/SwiftCheck,typelift/SwiftCheck,CodaFi/SwiftCheck,typelift/SwiftCheck,CodaFi/SwiftCheck,typelift/SwiftCheck,CodaFi/SwiftCheck,typelift/SwiftCheck,kykim/SwiftCheck,kykim/SwiftCheck,CodaFi/SwiftCheck,typelift/SwiftCheck