Após assistir à seção do vídeo a que você se refere, não vejo onde Scott diz que um contexto limitado deve corresponder a um módulo. Ele simplesmente escolheu um módulo para representar o contexto limitado em seu exemplo . Não há absolutamente nenhuma razão para que um Contexto Limitado tenha que corresponder a um módulo.
Se você sentir que o seu Contexto Limitado não mapeia bem para um módulo, você está livre para dividi-lo da maneira que quiser. Pode quantos módulos e tipos desejar, particionado por namespace (s), assembly ou qualquer outra coisa que flutue seu barco. Tudo o que importa é que os princípios de um Contexto Limitado que você deseja sejam alcançados.
Com relação ao tamanho do arquivo e à navegação, você pode tentar o recurso Visual F # Ferramentas de Energia Navegar para .