Greatly simplify operator representation.

Operators are num functions of the form x : Stack.t -> unit.

Also don't dump the stack on every input and print the number of items
in the stack in the prompt.
improve stack dumping and prompt
replace stack underflow checking