- Dynamic typing. Every variable should have an explicit type or the type inference code must be able to infer the type.
- Eval, metaclasses, monkey patching
- Introspection. isinstance(...) and friends
- Aribtrary precision ints. Int transpiles to i32.
- Heterogenous List, Set, Dicts