There's an informal description here: https://htmlpreview.github.io/?https://raw.githubusercontent.com/aardappel/lobster/master/lobster/docs/type_checker.html h

There's an informal description here: https://htmlpreview.github.io/?https://raw.githubusercontent.com/aardappel/lobster/master/lobster/docs/type_checker.html https://htmlpreview.github.io/?https://raw.githubusercontent... But yes, I should really write up a more technical description some day.