Type Synthesis of Parallel Mechanisms (Springer Tracts