Множественная загрузка модулей - это отдельная басня...
И она потребует серьезной переделки (хотя общая схема решения уже существует).
Сейчас задача немного усовершенствовать существующую схемы без "революций". А дальше... Дальше - большеНо все постепенно и по принципу "десять раз отмерь - один отрежь".

Кстати, в некотором смысле "множественная загрузка" в среде есть.
В памяти может быть много версий одного модуля, но - только один из них доступен как текущий и только у него есть секция кода. От всех ранее выгруженных версий модуля остаются секции описаний. Именно поэтому динамические объекты типов выгруженного модуля могут продолжать существовать в памяти, доступны их дескрипторы типов. А вот методы - недоступны