Substructural Fixed-Point Theorems and the Diagonal Argument: Theme and Variations