more involved README
remove all the lazy evaluationas essentially uneccessary given how short judgement trails are