Updated sections 3 and 5.

- Integrated remarks by the referee on algebraic groups.
- Shortened proofs in the T2 case using Silverman.
- Updated links and acknowledgements in Section 5.
Attempt to get rid of T1-type and T2-type naming
Accounted for more remarks by Referee 3