Fix Paris slides so that they compile
Delete spurious src/typing.mli
Archive unused files