Multiple changes

Renaming of classes, began implementing the TSet model, TSet specs,
TInteger, equality comparisons