Add another file to core.typed.rt, gets loaded on `pred`.
Type checker must be present for these ops
More tests for core.typed.rt loading