Global decs param are now not added in local variable definition list
Added assign traverse function to Logic phase
&&, || operations now correctly set type to 'bool'
Initialized nest_level of info object to 0
Added 2 functions to traversals