Added some new tests and two new files for testing: test_types.py

(testing operations on built-in types) and autotest.py (automatic
regression testing).