tangenially it would be interesting to analyze what infinite structures can be represented with infinite EML trees