Several updates

- changed title and other header info
- changed equivalance class notation
- other minor upates