-  Compiler internals cleanly exposed

This exists in clang!

I'm not sure I get this one:

  -  Constancy as an attribute

Does it mean read-only variables such as "const" variables in C/C++?