Aaron Moss: C∀ Type System Implementation. University of Waterloo, Ontario, Canada 2019