Deleted Semantic analyzer
Added boolean types