updated alloy.jar so that it works with ordering fields
treat ordering fields differently
resolving tuples and tuplesets to expr
various util methods
solving for next with additional constraints
fixed atomexpr -> als
updated example
some progress on prisoners example