added simple functional checkers

this is a highly composable checker lib @sixohsix came up with after some rejected ideas I've come up with.
It still needs some documentation, of course.