Updated Props, threw in a bunch of new old stuff, like Functions, commented out non-compiling tests (will work on them later), experimental texts for LinearLogic and, sorry, SKI.