Sort variables by name when depicting a store.
Make `$` into a globally-accessible name for a store for builtins.
Clarify what it really means to be an unsaturated store.
`$` doesn't count as variable usage during analysis.