updated alloy.jar
fixed a bug in serializing bounds
added 'inspect' method (to return the same as to_s)
added 'puts\!' method
updated to include some tests (assertions)