[dfmc-testing] Minor renamings.
[dfmc-testing] Bring in testworks, but don't convert to it yet.
[dfmc-testing] Don't export anything.
[dfmc-testing] Switch typist-algebra tests to testworks.