Glossary explainer

[zmanian]

Terms I think we should explain

• Torsion
• Coset
• Affine vs Projective coordintes

[hdevalence]

How does this fit with having separate sections on motivation & justification vs on explicit formulas aimed at implementors?

On the justification side, I think that part already requires more background than a glossary is going to provide; on the implementor side, I wonder whether we could make a description that wouldn't require a glossary...