fixed up docs in type system