Analyzer Improvements

[acbart]

• [x] No return outside of functions
• [x] No statements after any return path
• [x] No variables defined inside functions used outside
• [x] No variables defined outside functions used inside
• [x] Type inferencing for arguments