GEP-01 is largely out of date after the renamings PR. In particular, we got rid of all (?) abbreviations. Also, naming conventions should cover new rules implied by the possibility to have non-unique leaf names across modules.