Added an operation check for call stmts to make sure we are calling it with the right types. Also updated the error message to show what went wrong
Changed from using the current module scope to the innermost active scope