 
 : partition>class ( parts -- class )
     [ out>> [ <not-class> ] map ]
-    [ in>> <and-class> ] bi
-    prefix <and-class> ;
+    [ in>> <and-class> ] bi prefix <and-class> ;
 
 : singleton-partition ( integer non-integers -- {class,partition} )
     dupd

            [
                _ swap '[ _ get-transitions ] assoc-map
                harvest-values
            ] preserving-epsilon
        ] assoc-map
    ] change-transitions ;

    2array ;

: add-out ( seq partition -- partition' )
    [ nip in>> ] [ out>> append ] 2bi parts boa ;

: intersection ( seq -- elts/f )
    [ f ] [ unclip [ intersect ] reduce ] if-empty ;

: meaningful-integers ( partition table -- integers )
