If this is a Ford dealership, then the use of anything not from Ford is a red flag.
However I doubt the use of the wrong coolant is the cause of the leak. Most likely they used a flush machine or a coolant exchange machine with a universal coolant in it. Use of these machines requires adapter to be installed and the leak is probably due to a leaking adapter, either from an improper install or failure to tighten the cap properly.
The use of non Ford approved coolant could be because they are a multi-manufacturer dealership, I.e. Ford/Kia etc. They should have two machines, one for each make they service.
I would for now take it back and have them fix the leak and re-service your coolant system with the proper coolant. If they make up an excuse about the universal coolant being OK (and in reality it may be), then tell them you will call the CSR number in your owners manual to report them.
BTW, your vehicle is too new to have this leak due to age, it was caused by the mechanic, who most likely is a trainee or a junior mechanic.
Edit: the "orange coolant on your invoice might be a misprint. I’m not sure Ford uses orange coolant. You will need to verify this in your owners manual. If the owners manual calls for orange coolant (OAT coolant), then that is what they should have used. If it calls for a HOAT coolant, some of those are green or yellow (or blue or red).
One more Edit: Some green and orange coolants cannot be mixed, most notably the old green (IAT) and GM’s Dexcool (OAT). They can form a gel that can do serious damage to your engine. With so many colors in use today, you can’t alway go by the color. The old green IAT coolant have pretty much disappeared from the marketplace though so it is unlikely they used any in your system.
Also I looked it up, your coolant should be orange. But Ford switched to a yellow coolant in 2018. There is some question on whether the yellow is backward compatible, but that only applies if the two are mixed. If the old coolant was completely flushed out, then the new coolant can be used and might be better if it is. Is it possible your “green” is actually yellow?