&&- ++- -\ @> \\- curVar extend fork freeVars fresh funcCalls ground hasVar idSub isApp isCons isFunc isLitBranch isPart litBranchCon litCon mapFst mapSnd max1 merge mergeMap missingVars newVar nonRecursive primCon primType recursive recursiveFunc ren rename replace runRewriter strict sub update uses