Fix a bug.
Add support of Arity & OperatorInfo in symbol. Fix operator folding in error messages.