The hard part is that types are very hard/complex, with many tradeoffs.
A standard with strong backwards compat and is interpreted consistently is hard (see Python).