Type checking has been improved