Cure – Verification-First Programming for the Beam