Vitalsource Technologies, Inc. Type Synthesis Of Parallel Mechanisms