rename `true_` and `false_` predicates to conform to conventions [ci skip]
update doc organization to reflect code and test reorg [ci skip]
set version number in docs [ci skip]