They could add a new directive ala use strict; "use types", that allows one to write types. In the beginning they could be ignored (ala Python's types), but the

They could add a new directive ala use strict; "use types", that allows one to write types. In the beginning they could be ignored (ala Python's types), but then maybe use them to optimize the jited code, and later catch errors?