Type Inference Algorithm Collections