Moved helper functions of @checked into separate module
Renamed test_type_checker.py to test_checked.py
refactoring/cleanup