Convert def properties to types.
Convert def properties to types.