Language of Choreography