Finished first draft of the README for the revised type system.