Major commit.
Removal of useless classes (BadXXXX), now managed by Node and Edge classes.
ProgramObject (former ProgramObjectInterface) emphasized (isBad(), equal, and
hash methods grouped in it).