changes to finishSynthesizeWithType, ECase, and joinTypes
changes to finishSynthesizeWithType, ECase, and joinTypes

ravichugh/sketch-n-sketch,ravichugh/sketch-n-sketch,ravichugh/sketch-n-sketch,ravichugh/sketch-n-sketch,ravichugh/sketch-n-sketch,ravichugh/sketch-n-sketch