let_expressions.sml completed, and nested_functions added