That was an issue right from the start, and it only got worse as the type system got richer.
would you elaborate this statement?