Parametric Church's Thesis: Synthetic Computability without Choice