WyIL: Minor tweaks to interpreter