1. the layouts of note and slide are changed
2. some progress on PCF and its operational semantics