type-inference-engine

// Implement and test type inference algorithms including Algorithm W and constraint-based inference