add function call type checks

[edg-l]

Checks the parameters are of the correct type:

mod Test {
    fn main() -> i32 {
        let x: u32 = 1;
        return hello(x);
    }

    fn hello(a: i32) -> i32 {
        return a * 2;
    }
}

Checks the parameter count matches:

mod Test {
    fn main() -> i32 {
        return hello(1, 2);
    }

    fn hello(a: i32) -> i32 {
        return a * 2;
    }
}

[github-actions]

Benchmarking factorial

Compiling factorial (factorial.con)
Finished release in 29.597938ms
Running 5000000 iterations
Using input value: 20
Concrete Result = 2432902008176640000 Time taken : 62.08 ms
Rust Result = 2432902008176640000 Time taken : 61.99 ms

Benchmarking fib

Compiling fib (fib.con)
Finished release in 25.853483ms
Running 5000 iterations
Using input value: 20
Concrete Result = 6765 Time taken : 135.97 ms
Rust Result = 6765 Time taken : 85.25 ms

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 40.81633% with 29 lines in your changes are missing coverage. Please review.

Project coverage is 61.61%. Comparing base (27904dc) to head (5644d2f).

Files	Patch %	Lines
crates/concrete_check/src/lib.rs	0.00%	29 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #122      +/-   ##
==========================================
- Coverage   61.63%   61.61%   -0.02%     
==========================================
  Files          25       25              
  Lines        4329     4364      +35     
==========================================
+ Hits         2668     2689      +21     
- Misses       1661     1675      +14     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.