Verifying Well-Typedness Preservation of Refactorings using Scope Graphs