Move system design into appendix.
Update label propagation chapter
include an example of loop label creep
remove corresponding sections from jitflow chapter