Я наверное выпилю из лайси возможность подключения модулей к компилятору, импортируя библиотеки. Не нравится мне это. Тогда я введу новый тип — proc, который обозначает функцию, не поддерживающую исключения и тогда это будет аналогично C-функции.