small refactoring
added an extra instance variable for holding the alloy id (for partial instances)
generate one sigs for partial instance atoms
updated alloy.jar so that it handles partial instance one sigs
updated tests