Structural Equality for Type Element

Gave TypeElement Structural Equality to support #19.