Predef functions `show` and `eqVal` not defined

[inariksit]

I get this error when I try to run code that uses either Predef.show or Predef.eqVal:

Internal error in Compute.Concrete:
    :   In _: Unimplemented predfined operator: Predef.show
OCCURRED IN
show
OCCURRED IN
show Number num
OCCURRED IN
…

Likewise for eqVal:

Internal error in Compute.Concrete:
    :   In _: Unimplemented predfined operator: Predef.eqVal
OCCURRED IN
eqVal
OCCURRED IN
eqVal Case ogCas cas
OCCURRED IN
{p1 : PBool = eqVal Number ogNum num;
 p2 : PBool = eqVal Case ogCas cas}
OCCURRED IN
…