Simple refinement types for Scala