Would like very much for TypeScript to add context managers à la Python, macros for extending the language and optional runtime type checking.