 The first possibility has been studied in (Durand et al. 2018a), while the second has been studied in (Durand et al. 2018b). The second work, in particular, has led to interesting connections to problems of descriptive complexity over the reals and metafinite model theory (Hannula et al. 2019, Hannula et al. 2020). 