Finished xintrrp

I think. I'm not sure why they want (interp) to not take an environment,
but that's what you need for substitutions.