Introduce S_declare, an assign with a type (e.g. int x = 0)
Introduce scoped typing