initial commit
add precondition on full queue
add size transition
fix error on full queue == empty queue
fix negative size
recompilation instructions
queue example