using Recdef wrote a legal version of igcd, but still need to prove the recursion.

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>