Revert "checkpoint: un-dyntyping"

This reverts commit c7fb5935745c1051710985f3a89bbd2c6618c1e9.