Discrete isogenies section improved. Other changes.