bugfix in set_bouds: the upper bound must always include lower bound
add accessor for all constants defined in an alloy module
updated 'extend_from_bounds' to compute the necessary int bitwidth
added delegator methods to delegate * and ** to self.to_ts
updated some tests; skip printing out sudoku after every solving
sudoku example verbatim from the paper