Type analysis of a simplified Ruby-like IR - View it on GitHub