Flexible law checking for Scala - View it on GitHub