refined-0.1.2: Refinement types with static and runtime checking