IPA sem equality: classes definitions moved to header file.

Contribution header added.