DO NOT MERGE: Initial draft of the assemblage post (22 Aug)

This is not ready yet, but could be useful to review to see if people find it appropriate / interesting.
> highlighted the intrinsic complexity of tracking precise dependencies

Not really.  You explained _what_ the compiler does to ensure safety.  I think one should not assume that the reader will immediately understand where the problem is.  Presenting explicitly a few cases where things are difficult — ideally, suited so that you come back later to them to show how your tool solves the difficulty.  Or maybe it is too early but then the wording should be changed.