void addElement(ElementType element, string name) { elements.push_back({element, name});}
    void addElement(Element pair) { elements.push_back(pair); }