tornado.web.RequestHandler
This diff refines the types on `RequestHandler` by porting types directly from the `tornado` repo.