These sizes are plenty strong enough and I would only increase them for comfort. If you do increase the size of any, ensure the size chosen will fit the pulleys and cleats in the system. Drag in the system can result in some embarrassing moments.
Don’t go below 4mm for the halyard if you are not using wire with a rope tail, as there is always a little stretch in the rope regardless of what the manufacturer claims. This will settle to a minimum after the first few uses.
I don’t believe it necessary to use ultra low-stretch cordage for vang, outhaul and downhaul and you can save a few dollars by buying conventional polyester ropes for these purposes.