There are problems outside of cognitive burden. More expressiveness actually leads to a higher error surface area. The more power you have the more opportuniti

There are problems outside of cognitive burden. More expressiveness actually leads to a higher error surface area. The more power you have the more opportunities you also have to shoot yourself in the foot. Removing mutability as a feature from a language also removes all mutable logic errors from a language. Removing null values from the language removes all null related runtime errors from a language.