De modo geral não entendi a forma do loop e o fib utilizando essa abordagem. Meus principais pontos de duvida são: Na afirmativa: "Quando numero é igual x então, o valor final está em b." Como Assim?
Como o loop acontece? a e b são incrementadas?
Em "(recur b (+ a b) (inc numero))" não estamos chamando a função fib novamente? logo ela interpreta os outros parâmetros: (+ a b) (inc numero)