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 :)

an unboxed tuple also doesn't have a `length` or `type` field. implementing other tuples as arrays of boxed values is inefficient, so Jeff is intending to change that also.