A scalable type system

20 February 2020