started first structure implementation
push is defined.
facto
refactoring
it's getting ugly again
better interface
... but uglier proofs.
like a boss
revert facto
comment