Choreographic abstractions for style-based robotic motion