Forcing with models as side conditions, part 1

A decade ago, Neeman introduced a new method of forcing using two-type of models as side conditions. In 2015, Kuziljevic and Todor\'cevi\'c generalized Todor\'cevi\'c's   $\epsilon$-chain of elementary sub-models to a matrices of countable elementary sub-models which are used to force a $\diamond^+$ sequence and fast clubs on $\omega_1$. A year ago, Curial Gallart Rodr\'iguez was able to combine this two methods and thus introducing a two-type symmetric matrices.
We will go through the paper of Curial and if time allows present some minor applications.