There are still some details to fix, but it basically works
(modulo the still-missing features in bathos)

EOF