Plan9 has formalized union mount semantics in quite clear and simple but completely non-POSIX way. Overall, it has dropped a lot of POSIX assumptions to reach new levels of cleanness and simplicity. So, some things are quite hard to borrow back from Plan9 into Unix/Linux.