modified typing section of enumerated sets. The comment is obsolate. All ids are added to the frame inside type_check_bmch.
The check that all elements musst be a couple expression was wrong. E.g {(1,2),x}