Removed syntactic testing framework, now unused.