on Sun Jun 12 2016, L Mihalkovic <laurent.mihalkovic-AT-gmail.com> wrote: > My understanding is that dave is the type system designer. That would be a misunderstanding. I am a contributor, but other people take the lead on the type system. -- Dave