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