Last commit before working explicitly on semantics separation

KJ-16 Split elaboration module into a few smaller modules.

Split into 5 modules, although module ELABORATION-CORE contains approximately 40% of all that was elaboration before. We need to investigate whether parts of that module could be moved/ eliminated.