semantic: Be more mindfull of names Types, Values and Functions
ir: Make sure that symbols have names in scopes