A general purpose library for writing LCF-with-validations-style refiners - View it on GitHub