What's better than SGML? What would XML an HTML look like if they were based on that instead?