first stab at infinitary decision strategies. Mostly wrong I think
Add a sparkfile.