Another alternative is chickpea flour. You could use it without changing the method, and it would thicken the sauce exactly like flour does. Cornstarch tends towards gumminess, and also loses all of its thickening power if overcooked, which could happen during the baking process.