missing files from the port to updated ExtLib.
new setoid rewrite + plugin fixes + proofs