WyIL interpreter