Completed extensible stack type.

Also accidentally mashed this together with the CL that adds
macros for declaring accessors.