An implementation of the language described in the paper "The Two Dualities of Computation: Negative and Fractional Types"