[Bug] Input types not enforced

[0rphon]

🐛 Bug Report

related to the old bug #504. the following should throw an error

Code snippet to reproduce

[main]
a: i128 = 2u8;

function main(a: u32) {
    let b = a ** 2;
}

Stack trace & error message

D:\Work\leo-playground>D:\Work\leo_repos\leo\target\release\leo clean && D:\Work\leo_repos\leo\target\release\leo run
      Done Finished in 0 milliseconds

     Build Starting...
     Build Compiling main program... ("D:\\Work\\leo-playground\\src/main.leo")
     Build Number of constraints - 270784
     Build Complete
      Done Finished in 1987 milliseconds

     Setup Starting...
     Setup Saving proving key ("D:\\Work\\leo-playground\\outputs/leo-playground.lpk")
     Setup Complete
     Setup Saving verification key ("D:\\Work\\leo-playground\\outputs/leo-playground.lvk")
     Setup Complete
      Done Finished in 5396 milliseconds 

   Proving Starting...
   Proving Saving proof... ("D:\\Work\\leo-playground\\outputs/leo-playground.proof")
      Done Finished in 1640 milliseconds 

 Verifying Starting...
 Verifying Proof is valid
      Done Finished in 2 milliseconds 

Your Environment

• leo commit 20befbd
• rustc version 1.55.0-nightly
• windows 10 build 10.0.19041.630