@neauoire your assessment is correct. I never found much useful. I was planning my way around doing things very DIY and kinda blue collar since there's almost no academic research or past art to refer to, especially for my plans with Gale (inference, etc)
@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.