added some more examples for the letrec with multiple bindings exercise of substitution-based FUN