Cleaning up the type preservation theorem of closure conversion