add a type correct interpreter (result is tagged, though
and no checking is performed)
make it tag-free in the domain, and explain that it is total