Tons of work rewriting read and the type handling system