Type-safe extension of Cyclone language with threads, locks and guarantees for data race freedom