fix resolver to handle pmod, sub, trunc correctly

pmod, sub, and trunc functions are not counted as parameters and pass
through to the term signature