also I don't know what the fuck it is with people fetishizing type systems (probably because it's adds like a fucking bare minimum level of ergonomics to languages that are otherwise functionally a black box to program with) but typing is fucking stupid and annoying. a programmer in 2025 should not need to care whether or not a string's type is (SIMPLE-ARRAY CHARACTER) or (SIMPLE-BASE-STRING)