Static semantics

Type system