Typecheck FnCalls in VerifyVarPromise