Structuring labeled trees for optimal succinctness, and beyond