Используйте реализацию схемы как способ генерации тестовых случаев. Я написал бы функцию, которая может вызывать код схемы, и читать результат, преобразовывая его обратно в python.
Таким образом, вы можете написать контрольные примеры, которые выглядят так:
def test_f():
assert_equal(library.f(42), reference_implementation('(f 42)'))
Это не поможет вам перевести библиотеку, но даст вам достаточно уверенности, что то, что у вас есть, дает верные результаты.
Конечно, в зависимости от того, что делает схема, она может быть не такой простой, как эта ...