Let's make a functional language!

Type Inference