Fix some normalization issues, add codegen tests

First pass at lambdas and closures

Add pretty printing for types

Add more binary ops

Resolve types in lambda arguments, recursively substitute

Also add test

Normalize lambdas to be single arguments only

Split out compiler into codegen and main

Fix up codegen-add for vars

Add let bindings

Also split out some helpers into a separate ast file
Need to split compiler out into codegen and main

Add .gitignore

Add consolidation, tie up with typechecker

Also normalize program before typechecking

Start typechecker