brng back accidently moved Modules.sdf3
move NaBL-specific propositions to their NaBL files
introduce explicit name for default namespace
change keyword and specify scope in `resolves to` clauses
reorganise syntax and code generation