Typing, Analysis and Binding language