Constructing a Quine from Kleene’s Second Recursion Theorem

It is a well-known fact that the existence of Quines are a consequence of Kleene’s 2nd 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.