Changelog for refinery

• 0.1.0.0 Initial Release of the library

Unreleased changes

• 0.2.0.0 Added Alternative/MonadPlus instances to ProofStateT, TacticT, RuleT