Languages for Augmented Choreography