Midstream checkin after revisions from discussing with SPJ
Wrote role inference
Adding roles to PrimTyCons