modify rules in typecheck.py to construct environments dynamically and ignore embedded environments
modify rules in typecheck.py to construct environments dynamically and ignore embedded environments

jruberg/Pyty