Added a comment to explain binders hashconsing (for Pierre)