added notes about stability, gensyms/capturing, type inference, randomness (based on discussions with nwf)