Another bug from testing - uintn function on variable raises an error. Had to fix some code, might have to review this code.
Another bug from testing - uintn function on variable raises an error. Had to fix some code, might have to review this code.

tinelli/kind2,tinelli/kind2,tinelli/kind2,tinelli/kind2,tinelli/kind2,kind2-mc/kind2,daniel-larraz/kind2,tinelli/kind2