Add sum types
Add type inference examples
Add untyped division