Vertx is really a singleton, so it's fine for it stay as is and not be an AnuVal. Indeed, the cached val pointers make it not suitable for AnyVal. I'll remove the TODO.