Added more unit tests for the standard library. Fixed a bug in rm_projectMinusRel where duplicate names were not removed before projecting. Changed max and min for relations so that they operate according to the manual, i.e., they now ignore all standard values.