updated typecheck.py for new env'd AST structure; stmt typechecks don't need env info, but expr typechecks do
updated typecheck.py for new env'd AST structure; stmt typechecks don't need env info, but expr typechecks do
jruberg/Pyty