Type recursions, by forcing temporally variable selection to be represented as selection, preserve t...