move as many operator definitions to prelude.jl as possible, remove some ones I don't care about right now