Implemented type checking for function and procedure. Need to fix the bug of type checking for if expression.