Fixed bug when defining:
@traitfn f{T; Eq{T,T}}(x::T,y::T) = 2x==y