Typed Holes Refactor | Claude Code Skill for Refactoring