1. ADDED: pl_det/[2-8] for calling a goal deterministically based on
          type constraints.
2. ADDED: Calculator working on reverse polish notation.
3. ADDED: Operator arity support.