Scala Type System | Claude Code Skill for Type-Safe APIs