sure 0.1.0

Numeric refinement types