First-Class Refinement Types for Scala. - Matt Bovel; Viktor Kuncak; Martin Odersky (CoRR, 2026)