Ported the Testable architecture. A bit more clumsy than Haskell, but it works.
status update