Гадость с GC не нужна, или жабы мало?Язык должен быть либо низкоуровневым и близким к системе как Си - и тогда в нем недопустимы GC, исключения и т.д. - либо высокоуровневым как Haskell - и тогда непонятно, зачем вообще делать его императивным, а не функциональным (т.е. понятным для машины и сложным для человека). Фон-неймовская архитектура на виртуальной машине - полный маразм.
Oberon, Go, Java, C# - это морально устаревшие, костыльные недоязыки. А конкретно в Oberon'е еще и нет параметрического полиморфизма (template в C++ или generic в Java/C#), т.е. на нем никак не написать обобщенные коллекции.