Transient typechecks are (almost) free [Artifact]