Added fresh symbol keyword to effect signature