Extend Equation constructor to accept Equality, Set and list

[gutow]

Currently the Equation constructor only accepts two arguments lhs and rhs, where they are valid sympy expressions. It would be convenient if it could also accept an Equality or iterable containing two valid sympy expressions.