How do you propose to implement trapping on an uninitialized integer for example? You'd need significant hardware support, on the order of adding another bit to every memory location.