tc.ml fully implemented, need to fix a few failing tests: