Implemented difference of relations. Fixed schema equality checks to also confirm type equality. Fixed printing of relations to streams in the special cases of ?-Int and ?-Bool.