sig calcgrammar.
accum_sig lyaccshares,blists.

type lparen, rparen, plust, minust, timest, dividet, expt, quitt  gs.
type ae int -> gs.   % arithmetic expression

type power int -> int -> int -> int -> o.
type failure o.

type calculator o.