What Serverless Computing Is and Should Become