Many PRIF interfaces mimic language intrinsic functions that IIUC are specified by 16.1 as `simple`. We should discuss the pros and cons of adding `simple`/`pure` decorations to the PRIF interface