Added re-Qed test and implementation.
Bumped to 0.1.0 with bug fixes.