Revisit all the types chosen for general case

- Across the board: revisiting all the types chosen, and the scale factor, and figuring out the range of values the contract can tolerate. Since the tokens involved are arbitrary now, we can't make assumptions about possible values the way we did when optimizing stUNI