A relatively normal type system, kinda similar to the Nim one: based on atoms/objects/data types/lists/dict and tuples.

• Generics (but in a way easier to map to languages like C and Go)
• Keep it very compact