Added methods .intersection(), .difference() and .size() to Set and fixed a bug in .values().