cast and typinfer
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)
Revert "here's what I've got (9/15 tests passing)"

This reverts commit 00fc1df1b0a1d266889eebed94ca381649e5c118.
Merge branch 'master' of https://github.com/abeve/lab5
15/15 tests passing
final submission