Tracking: Call type checking

### Describe the feature Tracking issue to capture all variants of type checking for `ExprKind::Call` here: https://github.com/paradigmxyz/solar/blob/f6cf16d0087800bfb62b39adbc3639c241f17127/crates/sema/src/typeck/checker.rs#L150-L179 Refer to the parent tracking issue for guidance on working on the typechecker. ### Additional context _No response_