Why have types? AI can infer everything. The ultimate ai language is as terse as possible to keep token count down but can still be understood by a human