The type inference algorithm

Will be up some day.