Finished semantic behavior kind of...symbol table and scopes still missing