commands now accept int scope (bitwidth)
use mul/div/rem functions for printing *, /, %
another dynamic predicate for solving sudoku