[Tracking Issue] CallNode `sinfo_args` switch

[MasterJH5574]

As discussed in the Relax development meeting on Jan 10 and Jan 24, we agreed to move on with the proposal and switch brought by #356. This PR is the tracking issue of this movement, with mainly three jobs.

• A0. Replace type_args by sinfo_args. Update the uses plainly with current tests passed. #379
• A1. Simplify and reorganize the API, creations, structure info deductions and uses of sinfo_args for intrinsic operators (e.g., call_tir, call_packed, etc.). Since this PR, our API and structure info deduction will get rid of the dependency on types. #386
• A2. Legacy clean up (e.g., the VisitType method in ExprFunctor). #387
• A3. Add wellformed check for sinfo_args. #388

For more details on this switch, please refer to #356 :-)