stash
typeInfer case Decl(m,x,e1,e2) finished (6/15 tests pass)
substitute/avoidcapture finished (9/15 tests passing)
here's what I've got (9/15 tests passing)