v0.1.0

First release! Getting things rolling. Proof of concept on the implicit materialization stuff, but we only have half of it right now (i.e. you cannot materialize a fully-instantiated instance from a quantified one, but you can materialize a quantified instance from a let-bound uninstantiated definition). I expect to stabilize this library very quickly, but some things that are still coming down the pipe:

• Properly motivated implicit materialization for Exists
• Bidirectional materialization for Forall (right now, we have half of this; it'll require a macro)
• Potentially unboxed encodings for both Forall and Exists (both can be done as type tags, rather than as concrete on-heap values)