[*] Memory Model [*] TryConstruct shall permit extensions of the bool class (use it like a tag) [*] Formatting