Refactor and document Tuple a little more.

The removal of `eq` is justified by the fact that the responsibility
of evaluating predicates belongs to Predicate itself. This commit also
converts a constructor to a static factory method, mostly to mimic
other parts of JAlf's API to always use the same strategy.