Type Checking for Protocol Role Enactments via Commitments