@klardotsh everything that I could find, I've collected here: http://wiki.xxiivv.com/site/type_systems.html

I'll improve as I go along.