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 should not be depended upon (#2818). just been waiting for the gc-improvement PR to merge to change it.

`jl_typeof(x)` is the approved method of accessing and assigning to the type field.