Last vestiges of ProxableFunction eradicated