Make ArrayStack take Nodes
Make Solver use ArrayStack. Clean up method names in ArrayStack