refactoring __let__, typedpython.py