A Type Synthesis Approach to Compliant Shell Mechanisms