edited type system section in readme