Refinement types in Ruby