start moving operator definitions to prelude.jl