fix bug where defops were not being included by the tokenizer properly, fixed precedence order mixup in prelude.jl