Add introduce-let and expand-let refactorings