sanitize dump file names (closes #3293)
make `make_instance` available as `type_of_module_type`
raise DisplayTypes if `Type_not_found` occurs in display mode with a known module (see #3288)
add raise version of `string_list_of_expr_path`
use DisplayFields instead of DisplayTypes for submodule completion (see #3288)
don't consider Std.string to have side effects (enable to remove some inlined trace arguments)
deal with empty module types and sub-type completion
tests for #3288
Merge pull request #3304 from nadako/issue_3288

Support module subtypes in completion (closes #3288)
don't list the main type itself in field completion (see #3288)
Merge remote-tracking branch 'upstream/development' into development