Change build-proof and some rules

* build-proof and build-subproof function build incremental hashes
* change not-e and imple-i rules