Update StructuralRecursion.rkt