Programming with Tsatsu