Book.Ch5

Relations from Chapter 5 of The Reasoned Schemer (2nd Edition).

memo : Value a -> Value a -> Value a -> Goal a

rembero : Value a -> Value a -> Value a -> Goal a