Constructor : Element, Pi, Tag, EmptyTag