Improvebot

I'm going to rebuild validation into something much better: mathematical formalism!