added 'fixes' to bounds
updated alloy.jar
transpose to TupleSet
more checker methods
small