neq scrapped, neg implemented, logic true is -1 and not 1 as I thought, all arithmetic operations work and test script succeeds
refactor: only one Push, Segment class is now where the interesting stuff happens
push local
push code refactor
conventions
pop, fixed segments handled correctly, all tests pass