Constructing a Quine from Kleene's Second Recursion Theorem

• I was curious about how easy or difficult it was to use this construction in practice, so I decided to try to formalize it.
• One of the virtues of formalization is that it naturally motivates the mathematician to structure their definitions and proofs