Simplify (and fix) the code adding variables of a function interface to delta during the typing of its body.