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