make tryIncr local, so we can simplify it without loosening the semantics also add an n-times 'up' function
make tryIncr local, so we can simplify it without loosening the semantics
also add an n-times 'up' function
minad/omega,cartazio/omega