Primitive refinements

[justinlubin]

In their simplest incarnation, primitive types (#8) would have no refinement rules other than the trivial one (exact equality matching). Figure out a way to implement refinement for primitive types, possibly inspired by #10.