First round of updates to the Semantic Analyzer. Also updated the MacroExpand functions and their returns.