Mechanical Systems of Rigid Bodies Subject to Unilateral Constraints | Synapse