Applying block and lexical scoping to the square root approximation method.
Euclid's algorithm for gcd computation (tail-recursion).
Factorial computation (classic and tail-recursive).