Modify test cases a bit and turn on initial void-safety for BMM test cases.
Fix a repopulate bug for when tabs are selected for non-compiling archetypes.
Improve the formal model of type strings of BMM_TYPE_SPECIFIER: now there is a form for display, for conformance test and a standard form. So the type List <T: Numeric> has:

- standard type_string = "List <T>"
- display_type_string = "List <T: Numeric>"
- conformance type string = "List <Numeric>"

This change improves (probably doesn't totally solve) RM type checking.
Various ADL compiler errors, found in regression tests, including:

- wrong checking of integer assumed value in an integer range (C_INTEGER)
- failure to check if concept code was valid
- move first rebuild until after some basic validation, to ensure it can succeed
- since RM validation is now done first, add illegal path checking to it (used to only be in specialised archetype validation)
Cosmetic changes related to void-safety in parsers (not yet implemented)