templated comparison operators

[anonymous]

template<class T> inline bool operator == ( optional<T> const& x, optional<T> const& y ) ;

and all other comparison operators should be replaced by

template<class T,class Y> bool operator==(optional<T> const &,optional<Y> const &);

so optionals of different but comparable types can be compared.