Symbolic Planning For Heterogeneous Robots Through Composition Of Their Motion Description Languages