Inital version
loads of changes
lambda lifting added
adding a typed language
external commits
art of type system
more type system
can't remember what I changed here, but it's b0rked
Initial cut of Hindley-Milner type inference.  Handles toy language,
no support for polymorphic typing
Language is a little less noddy (now handles numbers
/and/ booleans, and a limited let form.  Woo!
Still doesn't handle let polymorphism.  Bah.
removal of variable terms, replacement with typevars only
Still no polymorphism
Let polymorphism now seems to be working for my noddy language
meh, forgot those.
adding union and intersection types
incorporating srfi 26 (through an ugly hack), first cut
at type compatibility.  Union types have fucked let polymorphism

(let (x (lambda (y) y)) (begin (x #t) (x 3))) types correctly
(let (x (lambda (y) (if y #t 3))) (begin (x #f) (x 3))) doesn't
union types are now working, let polymorphism included
Firt cut at a macro to generate terms (Needed for typing builtins)
Denoddifying the language.

There's still a problem with let-polymorphism, nested lets don't work.
Merge branch 'master' of https://github.com/tufty/scheme--llvm