refinery v0.1.0 Refinery.Types

Bootstrapped Refinement Types.