add missing op datatypes to compiler compset

don't know why they weren't in there before. found out because
compile_call_repl_step_eq wasn't being evaluated fully (but it's
not used anywhere yet... would be used for the machine-code repl
theorems...)