Rename STACK -> SS. Improve and document it.

It now handles structs and pointers, with tests.