Add some examples, change how type variables work in examples, type check compares.