refinery v0.2.0 Refinery.Types

Bootstrapped Refinement Types.