Formalizes boolean operator reversability

Also fixes some small readme errors.