I agree with you. They definitely should keep doing "type checking" lazily. From what I understand, it would be a lot cheaper if types were built into the lang

I agree with you. They definitely should keep doing "type checking" lazily. From what I understand, it would be a lot cheaper if types were built into the language, and the runtime's contract could trust the type and if it is wrong then undefined behavior occurs.