Looping with Untyped Lambda Calculus in Python and Go