Create Chord.tla

Adding first version of Chord.tla