Assorted important fixes.

Fix subscript operator mapping.
In overloaded operators: Don't "assert is_valid_operator()",
  return NotImplemented instead.
Make sure Sum and Product do not allow invalid operands
  into the expression tree.