Removing old documentation of the type system