Remodeled push after import

Modified: src/pointer-stack-io.c; also cleared up some documentation here.

Modified: src/pointer-stack.c