Minor fixes to the type system's documentation