devdocs notes on memory layout and runtime initialisation

Some notes I made while learning about runtime internals.
Maybe useful for other new developers.
But maybe misleading because eggnog :)

this implementation detail isn't always true (isbits tuples in memory are typically unboxed), and is likely to change soon (after Jeff finishes #8839 and has time to complete his planned tuple-type refactoring)