The first thing you'd need in order to define a normal form is unirationality of the moduli space (otherwise you don't even have the correct number of parameters). In dimension 1, this means that you (at least) need the modular curve to be of genus 0, at which point we may look at the The On-Line Encyclopedia of Integer Sequences
Here is how you can do n-torsion assuming you know the m-torsion solution and m divides n (and of course, the moduli space is genus 0):
Let z be the moduli space parameter, and E(z) be the universal plane curve. Let $a_i(z),b_i(z)$ be n-torsion points on E(z) which span the set of n-torsion points; let $l_i(z)$ in the dual projective plane be the line connecting $a_i(z),b_i(z)$. Then the locus of $l_i(z)$ is a plane curve, which is -- by our assumption -- rational. Now use your favorite "Italian" method to find an explicit rationalization of a rational plane curve. The coordinates of the universal projective plane are determined by the four points $0, a_i(z), b_i(z), a_i(z)+b_i(z)$.
Note that from the original list of 2..10,12,13,16,18,25 you are now left with the task of finding solutions to 5,7,13.
