Implemented semantic check and changed grammar to support nested ifs

Semantic Check: Can gather all idents in <ident,label,Type> form
-> needs now to implement the rest
AST-Grammar: improved code to support nested conditional statements