Two-sided type systems Toy implementation for the of the type inference algorithm presented in Ill-Typed Programs Don't Evaluate