ADT.Set does not support ^; & operator fails in hilfe