bugfix: ModType should delegate methods defined in @type but not in ModType
added catching and handling exceptions from java (alloy)
updated alloy.jar and sudoku test to solve it with a partial instance