dry-ed up
generalized the alloy dsl method
accessor methods
improved printout of java exception stack traces
add atom sigs only for sig lower bounds (instead of all atoms)