Remove unneeded FuncCallStmt.
Enhance errors and warnings.
Add ability to track function return types and give feedback on correct usage.