Added notes on C++, TAPL, Software Foundations (Prop chapter)