Let $\textbf{Ell}$ be the category of elliptic curves over various base schemes, and where a morphism between $E\rightarrow S$ and $E'\rightarrow S'$ is a cartesian diagram with those two maps as columns.
A moduli problem for elliptic curves is then just a contravariant functor $\textbf{Ell}\rightarrow\textbf{Sets}$.
For example, we usual level $N$ moduli problem is the functor sending $E/S$ to the set of isomorphisms $E[N]\stackrel{\sim}{\longrightarrow}(\mathbb{Z}/N\mathbb{Z})_S^2$.
There are a ton of these functors, mostly coming from various cohomology theories, but the only such functors I can think of that land in the category of finite sets all have to do with torsion points on the elliptic curve.
Does anyone have any examples of a contravariant functor $F:\textbf{Ell}\rightarrow\textbf{Sets}$ such that for $E/S$ with $S$ connected, $F(E/S)$ is finite, and doesn't have to do with torsion data?
Ideally, the functor will actually land in the category of groups, and be generically of some order at least 3$M\ge 3$, though I might not need thisand always be of order $\le M$.