untested 'union' method in tuple_set
formating
type inference
temp
nothing
some tupleset methods
implemented 'project' method
minor
added some extension to the Range class (to automatically convert a range to a tuple set for certain operations)
fixed some bugs; implemented 'project' and 'difference' methods
more methods for defining bounds
partial instance for sudoku
Merge branch 'tmp'