update README
refactor inferFunc; don't re-use the types that are local to the typesig for the expression type