add notes of Talk I
give up and comment out ScopedTypeVariables