Sugar: Style
Sugar.convertDefBody takes type as Property, not as closure
Extract makeNewTypeForDefinition from convertDefIExpression.