Describir: Sound Choreography <> Body Code : Software Deployment and Notational Engagement without Trace.