Thanks for this! Will be following a couple of the references wrt "gradual typing literature".