Fixes for type-checker and interpreter

The GCD function is well transformed but not computed.
Can't see which case is missing or if the GCD func is unvalid.