Rename stack-style vector operations to list-style.

 * top => last

 * down => init

 * bottom => head

 * up => tail
Improve subtype test.