These would be great additions. I don't get why people don't want powerful type systems. Let the language work for you!