added lazy getter for and de-exported Gas.user