Added some notes on dependent types in the calculus of structures.