Generalize types

[treeowl]

Lots of functions that deal in Strategy would be more naturally written for

type Strategy' a b = a -> Eval b

This tiny generalization bypasses map.