Added revised type system information to README