Simple refinement types for Scala fthomas/refined · GitHub refined - simple refinement types for scala