Add GCD procedure from section 1.2.5
Complete 2.1.
Fix assert fails to print failures.