cast as calls to test-framework

undiagnosed namespace issue in the actual test file, so just
(run-tests) in the repl in the main namespace here.