Moving typing rules to the thesis and removing old documentation files