replace NSNumber with int with @(). fix game view extending under nav bar
can undo
fix setting of Add button's title whether or not there is a contract
can undo. undo button disables when there's nothing to undo