Document usage of internal errors
Fix push() and pop() non-returns