fixes named/default ensugaring for cases when type applications are involved