Added Skip to greatest_common_binding to allow ignoring replacement of some terms
Fixed handling of lists in print_expansion, implementing rename_variable using intentional assignments and leaving the refactoring engine solve the situation.