Type Checking for assignment statements in functions implemented