compilication-theory: Add notes